Irrationality of ζ q ( 1 ) and ζ q ( 2 ) ?
نویسنده
چکیده
In this paper we show how one can obtain simultaneous rational approximants for ζq(1) and ζq(2) with a common denominator by means of Hermite-Padé approximation using multiple little q-Jacobi polynomials and we show that properties of these rational approximants prove that 1, ζq(1), ζq(2) are linearly independent over Q. In particular this implies that ζq(1) and ζq(2) are irrational. Furthermore we give an upper bound for the measure of irrationality.
منابع مشابه
The Group Structure for Ζ(3)
1. Introduction. In his proof of the irrationality of ζ(3), Apéry [1] gave sequences of rational approximations to ζ(2) = π 2 /6 and to ζ(3) yielding the irrationality measures µ(ζ(2)) < 11.85078. .. and µ(ζ(3)) < 13.41782. .. Several improvements on such irrationality measures were subsequently given, and we refer to the introductions of the papers [3] and [4] for an account of these results. ...
متن کاملIrrationality proof of a q-extension of ζ(2) using little q-Jacobi polynomials
We show how one can use Hermite-Padé approximation and little q-Jacobi polynomials to construct rational approximants for ζq(2). These numbers are qanalogues of the well known ζ(2). Here q = 1 p , with p an integer greater than one. These approximants are good enough to show the irrationality of ζq(2) and they allow us to calculate an upper bound for its measure of irrationality: μ (ζq(2)) ≤ 10...
متن کاملIrrationality exponent and rational approximations with prescribed growth
In 1978, Apéry [2] proved the irrationality of ζ(3) by constructing two explicit sequences of integers (un)n and (vn)n such that 0 6= unζ(3)− vn → 0 and un → +∞, both at geometric rates. He also deduced from this an upper bound for the irrationality exponent μ(ζ(3)) of ζ(3). In general, the irrationality exponent μ(ξ) of an irrational number ξ is defined as the infimum of all real numbers μ suc...
متن کاملLittle q-Legendre polynomials and irrationality of certain Lambert series
Certain q-analogs hp(1) of the harmonic series, with p = 1/q an integer greater than one, were shown to be irrational by Erdős [9]. In 1991–1992 Peter Borwein [4] [5] used Padé approximation and complex analysis to prove the irrationality of these q-harmonic series and of q-analogs lnp(2) of the natural logarithm of 2. Recently Amdeberhan and Zeilberger [1] used the qEKHAD symbolic package to f...
متن کاملEuler-type Multiple Integrals as Linear Forms in Zeta Values
0. In 1978, Apéry showed the irrationality of ζ(3) = ∑∞ n=1 1 n3 by giving the approximants `n = unζ(3) − vn ∈ Qζ(3) + Q, un, dnvn ∈ Z, dn = l.c.m.(1, 2, . . . , n), with the property |`n| → ( √ 2 − 1) < 1/e as n → ∞. A similar approach was put forward to show the irrationality of ζ(2) (which is π/6, hence transcendental thanks to Lindemann) but I will concentrate on the case of ζ(3). A few mon...
متن کامل